have_onetwo::metalist->bool
have_onetwo  []      = false  
have_onetwo (1:2:xs) = true 
have_onetwo (x:xs)   = have_onetwo xs

maint::int
maint = have_onetwo [1, 3, 2 ,3 ,4 ,5, 1, 2]